Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Libro	Complementary definitions of programming language semantics:	Donahue, James E.	(1976)	Domicilio	----------
Programa de estudio	Teoría de la Computación y Verificación de Programas	Rosenfeld, Ricardo Fabián	(2018)		----------
Programa de estudio	Teoría de la Computación y Verificación de Programas	Rosenfeld, Ricardo Fabián	(2019)		----------
Tesis	Un modelo semántico de procesos basados en la duración:	Christoph, Andrea Viviana	(1997)	Sala	----------
Tesis	Una posible semántica operacional de alto nivel para lenguajes de generación de contenido dinámico en el contexto de aplicaciones web:	Gallego Sagastume, Ignacio	(2001)	Sala	----------